/*
 * outputbuffer.h
 *
 */

#ifndef OUTPUTBUFFER_H_
#define OUTPUTBUFFER_H_

#include <stdint.h>
#include <defs.h>

void outputBuffer_init(int32_t *buff1, int32_t *buff2);

#endif /* OUTPUTBUFFER_H_ */
